Oberschelp, Arnold: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Data types as lattices

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 2.74 MB

english, 1975

2

On the Craig-Lyndon Interpolation Theorem

Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 378 KB

english, 1968

3

A Simple Proof of the Rabin-Keisler Theoremby C. C. Chang

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 204 KB

english, 1967

4

Chang C. C.. A simple proof of the Rabin-Keisler theorem. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642–643.

Oberschelp, Arnold

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 244 KB

english, 1967

5

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Recursively unsolvable algorithmic problems and related questions reexamined

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 657 KB

english, 1975

6

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || The model theory of local fields

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 1.46 MB

english, 1975

7

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 2.49 MB

english, 1975

8

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Set theory in infinitary languages

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 1.95 MB

english, 1975

9

Klassentheoretische Paare

Arnold Oberschelp, Günter Todt

Journal:

Mathematical Logic Quarterly

Year:

1981

Language:

german

File:

PDF, 260 KB

german, 1981

10

On Pairs and Tuples

Arnold Oberschelp

Journal:

Mathematical Logic Quarterly

Year:

1991

Language:

english

File:

PDF, 125 KB

english, 1991

11

Eigentliche Klassen als Urelemente in der Mengenlehre

Arnold Oberschelp

Journal:

Mathematische Annalen

Year:

1964

Language:

german

File:

PDF, 1.39 MB

german, 1964

12

Untersuchungen zur mehrsortigen Quantorenlogik

Arnold Oberschelp

Journal:

Mathematische Annalen

Year:

1962

Language:

german

File:

PDF, 2.48 MB

german, 1962

13

Castor quadruplorum

Arnold Oberschelp, Karsten Schmidt-Göttsch, Günter Todt

Journal:

Archive for Mathematical Logic

Year:

1988

Language:

english

File:

PDF, 479 KB

english, 1988

14

Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen

Arnold Oberschelp

Journal:

Archive for Mathematical Logic

Year:

1958

Language:

german

File:

PDF, 1.54 MB

german, 1958

15

Über die Unentscheidbarkeit Gewisser Axiomenmengen

Arnold Oberschelp

Journal:

Archive for Mathematical Logic

Year:

1961

Language:

german

File:

PDF, 56 KB

german, 1961

16

Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen

Arnold Oberschelp

Journal:

Archive for Mathematical Logic

Year:

1960

Language:

german

File:

PDF, 525 KB

german, 1960

17

Eine Bemerkung über den Kalkül des natürlichen Schließens

Arnold Oberschelp

Journal:

Archive for Mathematical Logic

Year:

1962-1963

Language:

german

File:

PDF, 212 KB

german, 1962-1963

18

Reduced Products, Horn Sentences, and Decision Problemsby Fred Galvin

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 217 KB

english, 1968

19

Metamathematics and Algebra: An Exampleby Roger C. Lyndon

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

20

Limit Ultrapowersby H. Jerome Keisler

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 209 KB

english, 1967

21

Limit Ultraproductsby H. Jerome Keisler

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 322 KB

english, 1967

22

Reduced Direct Productsby T. Frayne; A. C. Morel; D. S. Scott

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 308 KB

english, 1966

23

Reduced Products and Horn Classesby H. Jerome Keisler

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 205 KB

english, 1966

24

The Busy Beaver Game and the Meaning of Life.

Oberschelp, Arnold, Brady, Allen H.

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 246 KB

english, 1991

25

Dauben Joseph Warren. Georg Cantor, his mathematics and philosophy of the infinite. Harvard University Press, Cambridge, Mass. and London, 1979, ix + 404 pp.

Oberschelp, Arnold

Journal:

Journal of Symbolic Logic

Year:

1982

Language:

english

File:

PDF, 335 KB

english, 1982

26

Überarbeitung von DIN 1302

Oberschelp, Arnold

Journal:

Mitteilungen der Deutschen Mathematiker-Vereinigung

Year:

1996

Language:

german

File:

PDF, 2.08 MB

german, 1996

27

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Marginalia to a theorem of Silver

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 859 KB

english, 1975

28

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Indescribability properties and small large cardinals

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 1.20 MB

english, 1975

29

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Lectures on large cardinal axioms

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 2.96 MB

english, 1975

30

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Many-valued algorithmic logic

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 909 KB

english, 1975

31

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || The least ∑ 2 1 and ∏ 2 1 reflecting ordinals

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 392 KB

english, 1975

32

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || An observation on the product of Silver's forcing

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 235 KB

english, 1975

33

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Quantifier elimination

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 781 KB

english, 1975

34

Jerome Keisler H.. Limit ultrapowers. Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382–408.

Oberschelp, Arnold

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 93 KB

english, 1967

35

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Closed models and hulls of theories

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 659 KB

english, 1975

36

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Sur la méthode en histoire de la logioue

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

french

File:

PDF, 1.02 MB

french, 1975

37

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Computation theories: An axiomatic approach to recursion on general structures

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 951 KB

english, 1975

38

[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Axioms of choice in Morse-Kelley class theory

Müller, Gert H., Oberschelp, Arnold, Potthoff, Klaus

Year:

1975

Language:

english

File:

PDF, 1.63 MB

english, 1975